École Polytechnique Fédérale de Lausanne

Results: 537



#Item
21

CafeSat: A Modern SAT Solver for Scala Régis Blanc École Polytechnique Fédérale de Lausanne (EPFL), Switzerland

Add to Reading List

Source URL: lampwww.epfl.ch

- Date: 2014-03-18 17:06:31
    22

    Dynamical efficiency in congested road networks Leonardo Bellocchi Nikolas Geroliminis École Polytechnique Fédérale de Lausanne

    Add to Reading List

    Source URL: www.strc.ch

    - Date: 2016-06-11 08:15:19
      23

      La direction, le corps enseignant, les étudiants et le personnel de L’ÉCOLE POLYTECHNIQUE FÉDÉRALE DE LAUSANNE ont le profond regret de faire part du décès de Monsieur Jean-Jacques LOEFFEL 10CAsNsjY0MDAy0jU0M

      Add to Reading List

      Source URL: www.hommages.ch

      - Date: 2013-04-24 17:06:06
        24

        On Privacy for RFID Serge Vaudenay ÉCOLE POLYTECHNIQUE FÉDÉRALE DE LAUSANNE

        Add to Reading List

        Source URL: security-lab.jaist.ac.jp

        - Date: 2015-11-22 02:25:28
          25

          A Decision Procedure for (Co)datatypes in SMT Solvers Andrew Reynolds1 and Jasmin Christian Blanchette2,3 1 École Polytechnique Fédérale de Lausanne (EPFL), Switzerland 2 Inria Nancy & LORIA, Villers-lès-Nancy, Franc

          Add to Reading List

          Source URL: people.mpi-inf.mpg.de

          - Date: 2015-11-16 07:29:42
            26

            A Decision Procedure for (Co)datatypes in SMT Solvers Andrew Reynolds1 and Jasmin Christian Blanchette2,3 1 École Polytechnique Fédérale de Lausanne (EPFL), Switzerland 2 Inria Nancy & LORIA, Villers-lès-Nancy, Franc

            Add to Reading List

            Source URL: people.mpi-inf.mpg.de

            - Date: 2015-11-16 07:29:42
              27

              Efficient Lock-Free Work-stealing Iterators for Data-Parallel Collections Aleksandar Prokopec, Dmitry Petrashko, Martin Odersky LAMP, École Polytechnique Fédérale de Lausanne, Switzerland

              Add to Reading List

              Source URL: axel22.github.io

              - Date: 2016-08-13 13:11:44
                28

                Near Optimal Work-Stealing Tree Scheduler for Highly Irregular Data-Parallel Workloads Aleksandar Prokopec, Martin Odersky École Polytechnique Fédérale de Lausanne, Lausanne, Switzerland Abstract. We present a work-s

                Add to Reading List

                Source URL: axel22.github.io

                - Date: 2016-08-13 13:11:44
                  29Software / Computing / Functional languages / Object-oriented programming languages / Macro / Source code / Concurrent programming languages / Programming paradigms / Palladium / Scala / Make / Metaprogramming

                  Rethinking Scala Macros Work in progress, not available yet Eugene Burmako École Polytechnique Fédérale de Lausanne http://scalamacros.org/

                  Add to Reading List

                  Source URL: scalamacros.org

                  Language: English - Date: 2016-08-18 07:56:24
                  30

                  Для чего полезны макросы? Евгений Бурмако École Polytechnique Fédérale de Lausanne http://scalamacros.org/ 21 августа 2013

                  Add to Reading List

                  Source URL: scalamacros.org

                  Language: Russian - Date: 2016-08-18 07:56:24
                    UPDATE